翻訳と辞書
Words near each other
・ Monotone class theorem
・ Monotone comparative statics
・ Monotone convergence theorem
・ Monotone cubic interpolation
・ Monotone likelihood ratio
・ Monotone polygon
・ Monotone preferences
・ Monotone priority queue
・ Monotones (ballet)
・ Monotonia (album)
・ Monotonic function
・ Monotonic query
・ Monotonic scale
・ Monotonically normal space
・ Monotonicity criterion
Monotonicity of entailment
・ Monotonix
・ MONOtono
・ Monotonous (song)
・ Monotonous lark
・ Monotony Fields
・ Monotopion
・ MonoTorrent
・ Monotosh Ghosh
・ Monotosh Roy
・ Monotown
・ Monotrace (automobile)
・ Monotract
・ Monotrema
・ Monotrema (plant)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Monotonicity of entailment : ウィキペディア英語版
Monotonicity of entailment

Monotonicity of entailment is a property of many logical systems that states that the hypotheses of any derived fact may be freely extended with additional assumptions. In sequent calculi this property can be captured by an inference rule called weakening, or sometimes thinning, and in such systems one may say that entailment is monotone if and only if the rule is admissible. Logical systems with this property are occasionally called ''monotonic logics'' in order to differentiate them from non-monotonic logics.
==Weakening rule==

To illustrate, starting from the natural deduction sequent:
Γ \vdash C

weakening allows one to conclude:
Γ, A \vdash C


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Monotonicity of entailment」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.